Stichworte: logical relation